\relax 
\citation{atl_manual}
\citation{acceleo}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\textit  {$\pi $SOD-M} Environment}{109}{chapter.4}}
\newlabel{chap:environment}{{4}{109}{\textit {$\pi $SOD-M} Environment\relax }{chapter.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}General Architecture}{110}{section.4.1}}
\newlabel{sec:architecture}{{4.1}{110}{\textit {$\pi $SOD-M} Environment\relax }{section.4.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {40}{\ignorespaces $\pi $SOD-M Development Environment.\relax }}{110}{figure.caption.51}}
\newlabel{fig:policymanager}{{40}{110}{$\pi $SOD-M Development Environment.\relax \relax }{figure.caption.51}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {41}{\ignorespaces Environment Components.\relax }}{111}{figure.caption.52}}
\newlabel{fig:environmentComponents}{{41}{111}{Environment Components.\relax \relax }{figure.caption.52}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Ecore Meta-models (\textit  {Models Plugin Module})}{111}{subsection.4.1.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Model Transformation (\textit  {Mapping Plugin Module})}{112}{subsection.4.1.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {42}{\ignorespaces ATL Model to Model Transformation in $\pi $SOD-M.\relax }}{113}{figure.caption.53}}
\newlabel{fig:modelTomodelTransfomation}{{42}{113}{ATL Model to Model Transformation in $\pi $SOD-M.\relax \relax }{figure.caption.53}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {43}{\ignorespaces Acceleo Model to Text Transformation in $\pi $SOD-M.\relax }}{113}{figure.caption.54}}
\newlabel{fig:modelToTextTransformation}{{43}{113}{Acceleo Model to Text Transformation in $\pi $SOD-M.\relax \relax }{figure.caption.54}{}}
\citation{atl_manual}
\citation{atl_manual}
\citation{atl_manual}
\@writefile{lof}{\contentsline {figure}{\numberline {44}{\ignorespaces ATL Configuration for $\pi $SOD-M Transformation.\relax }}{114}{figure.caption.55}}
\newlabel{fig:configurationATL}{{44}{114}{ATL Configuration for $\pi $SOD-M Transformation.\relax \relax }{figure.caption.55}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.2.1}\textit  {$\pi $-UseCase2$\pi $ServiceProcess} Transformation Rules}{114}{subsubsection.4.1.2.1}}
\newlabel{list:exampleRules}{{4.1}{115}{ATL Example Rule}{lstlisting.4.1}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.1}ATL Example Rule.}{115}{lstlisting.4.1}}
\newlabel{fig:exampleRule}{{\caption@xref {fig:exampleRule}{ on input line 364}}{115}{\textit {$\pi $SOD-M} Environment\relax }{lstnumber.4.1.10}{}}
\newlabel{list:useCase2Action}{{4.2}{115}{ATL - piUseCase2piServiceProcess : useCase2action Rule}{lstlisting.4.2}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.2}ATL - piUseCase2piServiceProcess : useCase2action Rule.}{115}{lstlisting.4.2}}
\newlabel{list:constraint2contract}{{4.3}{115}{ATL - piUseCase2piServiceProcess : constraint2contract Rule}{lstlisting.4.3}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.3}ATL - piUseCase2piServiceProcess : constraint2contract Rule.}{115}{lstlisting.4.3}}
\newlabel{list:rooServiceProcess2rootServiceComposition}{{4.4}{116}{ATL - piServiceProcess2piServiceComposition : root Rule}{lstlisting.4.4}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.4}ATL - piServiceProcess2piServiceComposition : root Rule.}{116}{lstlisting.4.4}}
\newlabel{fig:pewscontract}{{\caption@xref {fig:pewscontract}{ on input line 506}}{116}{\textit {$\pi $SOD-M} Environment\relax }{lstnumber.4.4.12}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.2.2}\textit  {$\pi $-ServiceProcess2$\pi $-ServiceComposition} Transformation Rules}{116}{subsubsection.4.1.2.2}}
\citation{CostaMMN12}
\citation{LeavensKP07}
\citation{Meyer92b}
\newlabel{list:rootSC2PEWS}{{4.5}{117}{ATL - piServiceComposition2piPEWS : root Rule}{lstlisting.4.5}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.5}ATL - piServiceComposition2piPEWS : root Rule.}{117}{lstlisting.4.5}}
\newlabel{fig:pewscontract}{{\caption@xref {fig:pewscontract}{ on input line 565}}{117}{\textit {$\pi $SOD-M} Environment\relax }{lstnumber.4.5.12}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.2.3}\textit  {$\pi $-ServiceComposition2$\pi $-PEWS} Transformation Rules}{117}{subsubsection.4.1.2.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Code Generation (\textit  {Code Generation Module})}{117}{subsection.4.1.3}}
\citation{acceleo}
\newlabel{list:rulePre}{{4.6}{118}{ATL - piServiceComposition2piPEWS : Pre-condition Rule}{lstlisting.4.6}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.6}ATL - piServiceComposition2piPEWS : Pre-condition Rule.}{118}{lstlisting.4.6}}
\newlabel{fig:pewscontract}{{\caption@xref {fig:pewscontract}{ on input line 597}}{118}{\textit {$\pi $SOD-M} Environment\relax }{lstnumber.4.6.23}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {45}{\ignorespaces Acceleo Specification for \textit  {$\pi $-PEWS} Code Generation.\relax }}{118}{figure.caption.62}}
\newlabel{fig:acceleoCode}{{45}{118}{Acceleo Specification for \textit {$\pi $-PEWS} Code Generation.\relax \relax }{figure.caption.62}{}}
\newlabel{list:namespace}{{4.7}{119}{Acceleo - Namespace and Operation Code Specification}{lstlisting.4.7}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.7}Acceleo - Namespace and Operation Code Specification.}{119}{lstlisting.4.7}}
\newlabel{fig:pewscontract}{{\caption@xref {fig:pewscontract}{ on input line 677}}{119}{\textit {$\pi $SOD-M} Environment\relax }{lstnumber.4.7.15}{}}
\newlabel{list:service}{{4.8}{119}{Acceleo - Service Code Specification}{lstlisting.4.8}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.8}Acceleo - Service Code Specification.}{119}{lstlisting.4.8}}
\newlabel{fig:pewscontract}{{\caption@xref {fig:pewscontract}{ on input line 708}}{119}{\textit {$\pi $SOD-M} Environment\relax }{lstnumber.4.8.10}{}}
\citation{Espinosa-Oviedo2011a}
\newlabel{list:contract}{{4.9}{120}{Acceleo - PEWS Contract Code Specification}{lstlisting.4.9}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.9}Acceleo - PEWS Contract Code Specification.}{120}{lstlisting.4.9}}
\newlabel{fig:pewscontract}{{\caption@xref {fig:pewscontract}{ on input line 742}}{120}{\textit {$\pi $SOD-M} Environment\relax }{lstnumber.4.9.18}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {46}{\ignorespaces Model Transformation Process.\relax }}{121}{figure.caption.66}}
\newlabel{fig:sequenceDiagram}{{46}{121}{Model Transformation Process.\relax \relax }{figure.caption.66}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Defining Reliable Service Based Applications}{122}{section.4.2}}
\newlabel{sec:install}{{4.2}{122}{\textit {$\pi $SOD-M} Environment\relax }{section.4.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {47}{\ignorespaces $\pi $SOD-M Eclipse Plugin Environment.\relax }}{122}{figure.caption.67}}
\newlabel{fig:screanPiSODM}{{47}{122}{$\pi $SOD-M Eclipse Plugin Environment.\relax \relax }{figure.caption.67}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\textit  {$\pi $-UseCase} Model}{122}{subsection.4.2.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {48}{\ignorespaces $\pi $-UseCase Model Definition in $\pi $SOD-M Eclipse Plugin.\relax }}{123}{figure.caption.68}}
\newlabel{fig:pisodmToolModel}{{48}{123}{$\pi $-UseCase Model Definition in $\pi $SOD-M Eclipse Plugin.\relax \relax }{figure.caption.68}{}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{6}{}}{123}{exampl.6}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{7}{}}{124}{exampl.7}}
\global\def\markviiexampl{\ensuremath {\Box }}
\@writefile{lof}{\contentsline {figure}{\numberline {49}{\ignorespaces \textit  {$\pi $-UseCase} Properties in $\pi $SOD-M Eclipse Plugin.\relax }}{124}{figure.caption.69}}
\newlabel{fig:pisodmToolModelProperties}{{49}{124}{\textit {$\pi $-UseCase} Properties in $\pi $SOD-M Eclipse Plugin.\relax \relax }{figure.caption.69}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}\textit  {$\pi $-ServiceProcess} Models}{124}{subsection.4.2.2}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{8}{}}{125}{exampl.8}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{9}{}}{125}{exampl.9}}
\@writefile{lof}{\contentsline {figure}{\numberline {50}{\ignorespaces \textit  {$\pi $-ServiceProcess} Model Definition in $\pi $SOD-M Eclipse Plugin.\relax }}{126}{figure.caption.70}}
\newlabel{fig:piserviceProcessToolModel}{{50}{126}{\textit {$\pi $-ServiceProcess} Model Definition in $\pi $SOD-M Eclipse Plugin.\relax \relax }{figure.caption.70}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}\textit  {$\pi $-ServiceComposition} Models}{126}{subsection.4.2.3}}
\@writefile{lof}{\contentsline {figure}{\numberline {51}{\ignorespaces \textit  {$\pi $-ServiceProcess} Properties in $\pi $SOD-M Eclipse Plugin.\relax }}{127}{figure.caption.71}}
\newlabel{fig:piserviceProcessToolModelProperties}{{51}{127}{\textit {$\pi $-ServiceProcess} Properties in $\pi $SOD-M Eclipse Plugin.\relax \relax }{figure.caption.71}{}}
\@writefile{thm}{\contentsline {exampl}{{Example:}{10}{}}{127}{exampl.10}}
\global\def\markxexampl{\ensuremath {\Box }}
\@writefile{lof}{\contentsline {figure}{\numberline {52}{\ignorespaces \textit  {$\pi $-ServiceComposition} Model Definition in $\pi $SOD-M Eclipse Plugin.\relax }}{128}{figure.caption.72}}
\newlabel{fig:piserviceCompositionToolModel}{{52}{128}{\textit {$\pi $-ServiceComposition} Model Definition in $\pi $SOD-M Eclipse Plugin.\relax \relax }{figure.caption.72}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.4}\textit  {$\pi $-PEWS} Models}{129}{subsection.4.2.4}}
\@writefile{lof}{\contentsline {figure}{\numberline {53}{\ignorespaces \textit  {$\pi $-PEWS} Model Definition in $\pi $SOD-M Eclipse Plugin.\relax }}{129}{figure.caption.73}}
\newlabel{fig:piPEWSToolModel}{{53}{129}{\textit {$\pi $-PEWS} Model Definition in $\pi $SOD-M Eclipse Plugin.\relax \relax }{figure.caption.73}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {54}{\ignorespaces \textit  {$\pi $-PEWS} Model Properties in $\pi $SOD-M Eclipse Plugin.\relax }}{130}{figure.caption.74}}
\newlabel{fig:piPEWSToolModelProperties}{{54}{130}{\textit {$\pi $-PEWS} Model Properties in $\pi $SOD-M Eclipse Plugin.\relax \relax }{figure.caption.74}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Extending the Environment}{130}{section.4.3}}
\newlabel{sec:extendingEnvironment}{{4.3}{130}{\textit {$\pi $SOD-M} Environment\relax }{section.4.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Conclusion}{131}{section.4.4}}
\newlabel{sec:env_conclusion}{{4.4}{131}{\textit {$\pi $SOD-M} Environment\relax }{section.4.4}{}}
\@setckpt{chapters/implementation/enviroment}{
\setcounter{page}{132}
\setcounter{equation}{0}
\setcounter{enumi}{2}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{9}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{4}
\setcounter{section}{4}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{54}
\setcounter{table}{7}
\setcounter{endNonectr}{42}
\setcounter{currNonectr}{0}
\setcounter{currexamplctr}{10}
\setcounter{endexamplctr}{0}
\setcounter{exampl}{10}
\setcounter{r@tfl@t}{1}
\setcounter{lstnumber}{19}
\setcounter{ContinuedFloat}{0}
\setcounter{parentequation}{0}
\setcounter{KVtest}{0}
\setcounter{subfigure}{0}
\setcounter{subfigure@save}{3}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{subtable@save}{0}
\setcounter{lotdepth}{1}
\setcounter{Item}{6}
\setcounter{Hfootnote}{26}
\setcounter{bookmark@seq@number}{73}
\setcounter{regraA}{1}
\setcounter{regraB}{1}
\setcounter{lstlisting}{9}
\setcounter{section@level}{0}
}
